261. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
H4D5
2001
262. Discrete structures with contemporary applications
پدیدآورنده : / Alexander Stanoyevitch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computer science,Logic, Symbolic and mathematical,Probabilities,-- Mathematics
رده :
004
.
0151
S789D
2010
263. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
264. Discrete structures with contemporary applications
پدیدآورنده : Stanoyevitch, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
76
.
9
.
M35S72
265. Domain Theory, Logic and Computation :
پدیدآورنده : edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
266. Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
پدیدآورنده : Janusz Czelakowski, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54
267. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
268. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
269. Emotional cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
پدیدآورنده : Perlovsky, Leonid I.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Neural networks )Computer science(,Data processing ، Engineering mathematics,، Computer algorithms,، Electronic books
رده :
QA
76
.
87
.
P47
270. Encyclopedia of Computer Science and Technology /
پدیدآورنده : edited by Phillip A. Laplante.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
271. Encyclopedia of information technology curriculum integration [electronic resource]
پدیدآورنده : / [edited by] Lawrence A. Tomei
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias
رده :
EB
,
LB1028
.
3
.
E63
2008
272. Ensembles ordonnés finis :
پدیدآورنده : Nathalie Caspard, Bruno Leclerc, Bernard Monjardet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Knowledge representation (Information theory),Operations research.,Ordered sets.,Ensembles ordonnés,Informatique-- Mathématiques,Recherche opérationnelle,Représentation des connaissances,Computer science-- Mathematics.,Knowledge representation (Information theory),MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Operations research.,Ordered sets.
رده :
QA171
.
48
.
C37
2007eb
273. Essays on Husserl's logic and philosophy of mathematics
پدیدآورنده : Stefania Centrone, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Influence ، Husserl, Edmund, 9581-8391,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
3279
.
H94E8
274. Essential discrete mathematics for computer science /
پدیدآورنده : Harry Lewis and Rachel Zax.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,Diskrete Mathematik,Informatik
رده :
QA76
.
9
.
M35
L49
2019
275. Essentials of discrete mathematics
پدیدآورنده : Hunter, David James, 8691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35H86
276. Essentials of discrete mathematics
پدیدآورنده : / David J. Hunter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science--Mathematics
رده :
QA76
.
9
.
M35
,
H867
2010
277. Eurofuse 2011
پدیدآورنده : Pedro Melo-Pinto ... [et al] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses,Fuzzy logic, Congresses,Fuzzy mathematics, Congresses,Fuzzy systems, Congresses
رده :
QA76
.
76
.
E95
E325
2011eb
278. Expanding museum studies : an introduction / Sharon Macdonald -- Cultural theory and museum studies / Rhiannon Mason -- Sociology and the social aspects of museums / Gordon Fyfe -- Art history and museology : rendering the visible legible / Donald Preziosi -- Museums and anthropologies : practices and narratives / Anthony Alan Shelton -- Collecting practices / Sharon Macdonald -- The conundrum of ephemerality : time, memory, and museums / Susan A. Crane -- The origins of the public museum / Jeffrey Abt -- World fairs and museums / Robert W. Rydell
پدیدآورنده : edited by Sharon Macdonald.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
279. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
